theoremproving machine
[计] 定理证明机
热门查询
- deviance n. 异常；异常行为
- sagacity n. 睿智；聪敏；有远见
- kilocalorie n. [热] 千卡；[热] 大卡
- Carlotta [女子名] 卡洛塔 Charles的阴性昵称Lola,Lottie
- asset n. 资产；优点；有用的东西；有利条件；财产；有价值的人或物 n. （法）阿塞（人名）
- Interpol abbr. 国际刑事警察组织（International Criminal Police Organization）
- paraphernalia n. 随身用具；全部有关的事物；设备
- Burridge n. (Burridge)人名；(英)伯里奇
- Statham [人名] [英格兰人姓氏] 斯特瑟姆住所名称，来源于古英语，含义是“浮码头”(landing stage); [地名] [美国] 斯塔特姆
- bash n. 猛烈的一击，痛击 vt. 猛击，痛击；怒殴 n. (Bash)人名；(英、俄、巴基)巴什
- karmic 业力的
- follow-up n. 随访；跟进；后续行动 adj. 后续的；增补的
- bowsprit n. 船首斜桅
- adrenaline n. [生化] 肾上腺素
- facedown n. （美）直接对抗；摊牌 adv. 面向下地
- Woolies n. wooly的变形
- Aubusson 奥布松(法国中部一城市, 以产花毯闻名)
- farms n. [农经] 农场；庄园（farm的复数形式） v. 耕种，种植，养殖（farm的第三人称单数形式）
- commercialisation n. 商业化
- recoverability n. 可复（原）性
考试词汇表
- horizontal cleat
- horizontal cones
- horizontal creel
- horizontal curve
- horizontal datum
- horizontal delay
- horizontal ditch
- horizontal draft
- horizontal drain
- horizontal drier
- horizontal drift
- horizontal drill
- horizontal drive
- horizontal edger
- horizontal error
- horizontal fault
- horizontal fiber
- horizontal fibre
- horizontal focus
- horizontal force
